An Algebraic Approach for Composing Model Transformations in QVT
نویسندگان
چکیده
The ability to orchestrate different transformations in a flexible and reliable manner is a major challenge in MDE. Most of the current work on model transformations seems essentially operational and executable in nature. Such incomplete view on the composition issue provides suitable answers to a wide range of practical needs. However it does not cover the entire problem’s spectrum. In this article we describe how the algebraic theory of problems formalism is applied as a basis to build a mathematical foundation for the transformation composition problem embracing both dimensions (descriptive and operational). We report the implementation of a software tool supporting this algebraic formalization.
منابع مشابه
An Algebraic Semantics for QVT-Relations Check-only Transformations
QVT is the standard for model transformation defined by the OMG in the context of theModel-Driven Architecture. It is made of several transformation languages. Among them, QVT-Relations is the one with the highest level of abstraction, as it permits developing bidirectional trans-formations in a declarative, relational style. Unfortunately, the standard only provides a semiformal<lb...
متن کاملModel Transformations powered by Rewriting Logic
This paper shows a rigorous approach based on algebraic speci cations and rewriting logic which makes up for the lack of current transformation languages and o ers a balanced rigour-versus-intuition framework for model transformation, focusing on the MDA-QVT standards. To illustrate this approach, an example and some formal applications of these speci cations are sketched.
متن کاملSpecifying Model Transformations at the Metamodel Level
The MOF 2.0 Query/Views/Transformations (QVT) goal is to provide a standard for expressing model transformations. Techniques and technologies that support the rigorous definition and application of model transformations are required to realize the Model Driven Architecture (MDA) vision. In this paper, we describe an approach to rigorous modeling of pattern-based transformations. We discuss how ...
متن کاملRealizing Model Simplifications with QVT Operational Mappings
After parsing the input of a textual modeling language, further processing steps may be required before the result can be mapped to corresponding elements in a model. For instance, such a processing step can be the simplification of syntactic constructs. An approach for model simplification resting on transformation patterns is presented in this paper. The presented approach rests on the refine...
متن کاملToward automated model transformations in the A-MUSE design methodology
The usage of automated model transformations has proven to be useful in the model-driven software design methodology. In this paper, we will present a set of QVT Relations rules to perform automated transformations in order to obtain platform independent service design models from service specifications. This is done in the context of the Freeband A-MUSE project, which focuses on developing an ...
متن کامل